x86: correct remaining extended CPUID level checks
authorJan Beulich <jbeulich@suse.com>
Wed, 11 May 2016 07:47:21 +0000 (09:47 +0200)
committerJan Beulich <jbeulich@suse.com>
Wed, 11 May 2016 07:47:21 +0000 (09:47 +0200)
commita6abcd8f758d968f6eb4d93ab37db4388eb9df7e
treec31371eb38831dc080c41c05f2e2cf0ed2e5ba61
parenta24edf49f5195fc3ec54584e42a6cdef6d248221
x86: correct remaining extended CPUID level checks

We should consistently check the upper 16 bits to be equal 0x8000 and
only then the full value to be >= the desired level.

Signed-off-by: Jan Beulich <jbeulich@suse.com>
Reviewed-by: Andrew Cooper <andrew.cooper3@citrix.com>
Release-acked-by: Wei Liu <wei.liu2@citrix.com>
xen/arch/x86/boot/head.S
xen/arch/x86/cpu/common.c
xen/arch/x86/efi/efi-boot.h
xen/arch/x86/hvm/hvm.c
xen/arch/x86/hvm/mtrr.c